Search results for "Category of topological spaces"
showing 10 items of 13 documents
Dual attachment pairs in categorically-algebraic topology
2011
[EN] The paper is a continuation of our study on developing a new approach to (lattice-valued) topological structures, which relies on category theory and universal algebra, and which is called categorically-algebraic (catalg) topology. The new framework is used to build a topological setting, based in a catalg extension of the set-theoretic membership relation "e" called dual attachment, thereby dualizing the notion of attachment introduced by the authors earlier. Following the recent interest of the fuzzy community in topological systems of S. Vickers, we clarify completely relationships between these structures and (dual) attachment, showing that unlike the former, the latter have no inh…
Fuzzy algebras as a framework for fuzzy topology
2011
The paper introduces a variety-based version of the notion of the (L,M)-fuzzy topological space of Kubiak and Sostak and embeds the respective category into a suitable modification of the category of topological systems of Vickers. The new concepts provide a common framework for different approaches to fuzzy topology and topological systems existing in the literature, paving the way for studying the problem of interweaving algebra and topology in mathematics, which was raised by Denniston, Melton and Rodabaugh in their recent research on variable-basis topological systems over the category of locales.
Categorically algebraic topology versus universal topology
2013
This paper continues to develop the theory of categorically algebraic (catalg) topology, introduced as a common framework for the majority of the existing many-valued topological settings, to provide convenient means of interaction between different approaches. Motivated by the results of universal topology of H. Herrlich, we show that a concrete category is fibre-small and topological if and only if it is concretely isomorphic to a subcategory of a category of catalg topological structures, which is definable by topological co-axioms.
Topological systems and Artin glueing
2012
Abstract Using methods of categorical fuzzy topology, the paper shows a relation between topological systems of S. Vickers and Artin glueing of M. Artin. Inspired by the problem of interrelations between algebra and topology, we show the necessary and sufficient conditions for the category, obtained by Artin glueing along an adjoint functor, to be (co)algebraic and (co)monadic, incorporating the respective result of G. Wraith. As a result, we confirm the algebraic nature of the category of topological systems, showing that it is monadic.
On fuzzification of topological categories
2014
This paper shows that (L,M)-fuzzy topology of U. Hohle, T. Kubiak and A. Sostak is an instance of a general fuzzification procedure for topological categories, which amounts to the construction of a new topological category from a given one. This fuzzification procedure motivates a partial dualization of the machinery of tower extension of topological constructs of D. Zhang, thereby providing the procedure of tower extension of topological categories. With the help of this dualization, we arrive at the meta-mathematical result that the concept of (L,M)-fuzzy topology and the notion of approach space of R. Lowen are ''dual'' to each other.
Some remarks on the category SET(L), part III
2004
This paper considers the category SET(L) of L-subsets of sets with a fixed basis L and is a continuation of our previous investigation of this category. Here we study its general properties (e.g., we derive that the category is a topological construct) as well as some of its special objects and morphisms.
On a Category of Extensional Fuzzy Rough Approximation L-valued Spaces
2016
We establish extensionality of some upper and lower fuzzy rough approximation operators on an L-valued set. Taking as the ground basic properties of these operators, we introduce the concept of an (extensional) fuzzy rough approximation L-valued space. We apply fuzzy functions satisfying certain continuity-type conditions, as morphisms between such spaces, and in the result obtain a category \(\mathcal{FRA}{} \mathbf{SPA}(L)\) of fuzzy rough approximation L-valued spaces. An interpretation of fuzzy rough approximation L-valued spaces as L-fuzzy (di)topological spaces is presented and applied for constructing examples in category \(\mathcal{FRA}{} \mathbf{SPA}(L)\).
Categories of lattice-valued sets as categories of arrows
2006
In this paper we introduce a category X(A) which is a generalization of the category of lattice-valued subsets of sets Set(JCPos) introduced by us earlier. We show the necessary and sufficient conditions for X(A) to be topological over XxA.
From quantale algebroids to topological spaces: Fixed- and variable-basis approaches
2010
Using the category of quantale algebroids the paper considers a generalization of the classical Papert-Papert-Isbell adjunction between the categories of topological spaces and locales to partial algebraic structures. It also provides a single framework in which to treat the concepts of quasi, standard and stratified fuzzy topology.
On limits and colimits of variety-based topological systems
2011
The paper provides variety-based extensions of the concepts of (lattice-valued) interchange system and space, introduced by Denniston, Melton and Rodabaugh, and shows that variety-based interchange systems incorporate topological systems of Vickers, state property systems of Aerts, Chu spaces (over the category of sets in the sense of Pratt) of P.-H. Chu and contexts (of formal concept analysis) of Wille. The paper also provides an explicit description of (co)limits in the category of variety-based topological systems and applies the obtained results to extend the claim of Denniston et al. that the category of topological systems of Vickers is small initially topological over the category o…